Proof Methods for Modal and Intuitionistic Logics (Synthese Library): 169
by Melvin Fitting
ISBN 13: 9789048183814
Format: Paperback (568 pages) Publisher: Springer Published: 25 Dec 2010
Save for later
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
ISBN 13: 9781461275152
Format: Paperback (344 pages) Publisher: Springer Published: 26 Jun 2013
Beyond Two: Theory And Applications Of Multiple-Valued Logic (Studies In Fuzziness And Soft Computing): 114
ISBN 13: 9783790825220
Format: Paperback (388 pages) Publisher: Physica Published: 21 Oct 2010
Incompletetude Na Terra DOS Conjuntos
by Melvin Fitting,Jaime Ramos
ISBN 13: 9781848901094
Format: Illustrated (178 pages) Publisher: College Publications Published: 06 May 2013
Raymond Smullyan on Self Reference: 14 (Outstanding Contributions to Logic)
by Melvin Fitting,Brian Rayman
ISBN 13: 9783319886473
Format: Paperback (204 pages) Publisher: Springer Published: 06 Jun 2019
Numbers
by Melvin Fitting,Greer Fitting
ISBN 13: 9781848903357
Format: Paperback (238 pages) Publisher: College Publications Published: 02 Jun 2020